$\forall$${\it es}$:event\_system\{i:l\}. es{-}pred?(${\it es}$) $\in$ es{-}E(${\it es}$)$\rightarrow$(?es{-}E(${\it es}$))